New directions for proof theory in linguistics
نویسندگان
چکیده
We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1x Q2y ! Q2y Q1x . This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is 9 or Q2 is 8 (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments.
منابع مشابه
A New Proof of FDR Control Based on Forward Filtration
For multiple testing problems, Benjamini and Hochberg (1995) proposed the false discovery rate (FDR) as an alternative to the family-wise error rate (FWER). Since then, researchers have provided many proofs to control the FDR under different assumptions. Storey et al. (2004) showed that the rejection threshold of a BH step-up procedure is a stopping time with respect to the reverse filtration g...
متن کاملJALDA's Interview with Professor James P. Lantolf
James P. Lantolf is George and Jane Greer Professor Emeritus of Language Acquisition and Applied Linguistics and former director of the Center for Advanced Language Proficiency Education and Research at the Pennsylvania State University, USA. He is currently Adjunct Professor of Applied Linguistics in the same academic unit at Xi’an Jiaotong University. He is founder of the Sociocultural Theory...
متن کاملA new security proof for FMNV continuous non-malleable encoding scheme
A non-malleable code is a variant of an encoding scheme which is resilient to tampering attacks. The main idea behind non-malleable coding is that the adversary should not be able to obtain any valuable information about the message. Non-malleable codes are used in tamper-resilient cryptography and protecting memories against tampering attacks. Many different types of non-malleability have alre...
متن کاملFractional order Adaptive Terminal Sliding Mode Controller Design for MPPT in a Solar Cell under Normal and Partial Shading Condition
In this paper, by combining fractional calculus and sliding mode control theory, a new fractional order adaptive terminal sliding mode controller is proposed for the maximum power point tracking in a solar cell. To find the maximum power point, the incremental conductance method has been used. First, a fractional order terminal sliding mode controller is designed in which the control law depend...
متن کاملOn the Emergence of Scientific Grammar in Iran
Writing the grammar of a language is one of the most significant outputs of linguistic studies. In Iran, it is Avicenna (Ibn-e Sina) who is credited with the first such compilation of the Persian language. Understanding the weaknesses associated with the traditional trends of grammar writing in Iran, contemporary Iranian linguists adopted the modern Western approach following the Chomskyan Turn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007